51![Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav Floating-Point Precision Tuning Using Blame Analysis Cuong Nguyen1 , Cindy Rubio-Gonz´alez1 , Benjamin Mehne1 , Koushik Sen1 , James Demmel1 , William Kahan1 , Costin Iancu2 , Wim Lavrijsen2 , David H. Bailey2 , and Dav](https://www.pdfsearch.io/img/4cff12f81619798daaef832a21a39cb2.jpg) | Add to Reading ListSource URL: crd.lbl.govLanguage: English - Date: 2015-04-20 03:24:44
|
---|
52![Bonus slides § These are extra slides that used to be included in lecture notes, but have been moved to this, the “bonus” area to serve as a supplement. Bonus slides § These are extra slides that used to be included in lecture notes, but have been moved to this, the “bonus” area to serve as a supplement.](https://www.pdfsearch.io/img/8c9dc0e43a62e6f5f90fbabcbc675f1e.jpg) | Add to Reading ListSource URL: www-inst.eecs.berkeley.eduLanguage: English - Date: 2014-02-04 15:27:49
|
---|
53![BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany.](https://www.pdfsearch.io/img/904830c8013c4d295582e77a63d02580.jpg) | Add to Reading ListSource URL: www.ti3.tu-harburg.deLanguage: English - Date: 2005-11-23 09:26:23
|
---|
54![Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot](https://www.pdfsearch.io/img/e1c04be97cad0a94619190fa7901c3fd.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2013-11-20 04:18:58
|
---|
55![ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti](https://www.pdfsearch.io/img/897a67256763f54f1d9f4a34eb4c4c3d.jpg) | Add to Reading ListSource URL: www.crypto.ethz.chLanguage: English - Date: 2015-02-25 05:09:48
|
---|
56![Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr](https://www.pdfsearch.io/img/b56b283cbb9fd247257ec75c90be0e2a.jpg) | Add to Reading ListSource URL: conf.nsc.ruLanguage: English - Date: 2012-04-29 06:38:11
|
---|
57![5e Rencontres Arithmétique de l’Informatique Mathématique (RAIMDijon, 20-22 juin 2012 Synthesis of fixed-point programs based on instruction selection ... the case of polynomial evaluation 5e Rencontres Arithmétique de l’Informatique Mathématique (RAIMDijon, 20-22 juin 2012 Synthesis of fixed-point programs based on instruction selection ... the case of polynomial evaluation](https://www.pdfsearch.io/img/4b4080dfecd3b009c59568aa04da4a4c.jpg) | Add to Reading ListSource URL: raim2012.u-bourgogne.frLanguage: English - Date: 2012-07-16 09:26:12
|
---|
58![The modpn Library: Bringing Fast Polynomial Arithmetic into Maple Xin Li Marc Moreno Maza Raqeeb Rasheed The modpn Library: Bringing Fast Polynomial Arithmetic into Maple Xin Li Marc Moreno Maza Raqeeb Rasheed](https://www.pdfsearch.io/img/6b9c4859558ac0929f94742f468d9046.jpg) | Add to Reading ListSource URL: www.csd.uwo.caLanguage: English - Date: 2010-08-24 13:00:16
|
---|
59![Introduction to Smalltalk - Chapter 5 - Numbers Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because Introduction to Smalltalk - Chapter 5 - Numbers Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because](https://www.pdfsearch.io/img/63b64c07062369faa32a1df26ea696f4.jpg) | Add to Reading ListSource URL: sdmeta.gforge.inria.frLanguage: English - Date: 2014-10-09 10:38:17
|
---|
60![Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon](https://www.pdfsearch.io/img/0c3a4a9119713d1622f902b46bf2fa78.jpg) | Add to Reading ListSource URL: www.vinc17.orgLanguage: English - Date: 2015-06-18 06:12:50
|
---|